Rodin tool - PDFSEARCH.IO - Document Search Engine

Rodin tool
Results: 32

#	Item
21	Tutorial proposal for FM’08 Jean-Raymond Abrial Topic: Event-B and the Rodin Platform. Abstract on the Objectives and Contents: This tutorial is an introduction to the construction of complex systems using Event-B and Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2007-12-18 09:23:13 B-Method Rodin Jean-Raymond Abrial Model checking Conceptual model Rodin tool Formal methods Software development Theoretical computer science
22	DEPLOY Integrated Project Deployment of advances engineering methods for high productivity and dependability in European industry http://www.deploy-project.eu/ Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:29 Knowledge Dependability B-Method Software development process System Rodin tool Michael Butler Formal methods Science Software development
23	Case for support projects — most recently venturing into interdisciplinary research, when he led the six year Dependability IRC.1 He also has a Platform grant (TrAmS) on “Trustworthy Ambient Systems”. Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Formal methods Automated theorem proving Logic in computer science Logical syntax Mathematical proof Rippling Automated proof checking Rodin tool Isabelle Theoretical computer science Mathematics Logic
24	AI4FM A new project seeking challenges! Gudmund Grov1 and Cliff B Jones2 1 2 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Theoretical computer science Logical syntax Mathematical logic Formal methods Proof theory Rodin tool Mathematical proof Proof assistant Formal proof Logic Mathematics Automated theorem proving
25	Release Notes for Debian GNU/Linux 3.0 (‘woody’), Alpha Josip Rodin, Bob Hilliard, Adam Di Carlo, Anne Bezemer, Rob Bradford (current) $Id: release-notes.en.sgml,v 1.1 2003/01/04 00:37: Add to Reading List Source URL: www.debian.org Language: English - Date: 2005-06-07 14:14:19 Debian Dpkg Ubuntu Cross-platform software Linux Advanced Packaging Tool Unstable Aptitude Deb Software System software Computer architecture
26	Release Notes for Debian GNU/Linux 4.0 (“etch”), Alpha Josip Rodin, Bob Hilliard, Adam Di Carlo, Anne Bezemer, Rob Bradford, Frans Pop (current), Andreas Barth (current), Javier Fernández-Sanguino Peña (current), S Add to Reading List Source URL: www.debian.org Language: English - Date: 2009-12-28 23:46:11 Debian Cross-platform software Ubuntu Linux Advanced Packaging Tool Deb Package management system Mozilla Corporation software rebranded by the Debian project Aptitude Software System software Dpkg
27	Release Notes for Debian GNU/Linux 3.1 (‘sarge’), Alpha Josip Rodin, Bob Hilliard, Adam Di Carlo, Anne Bezemer, Rob Bradford (current), Frans Pop (current) Add to Reading List Source URL: www.debian.org Language: English - Date: 2007-04-04 05:29:33 Debian Ubuntu Cross-platform software Software distribution Advanced Packaging Tool Deb Aptitude Package management system Linux distribution Software System software Dpkg
28	Release Notes for Debian GNU/Linux 3.1 (‘sarge’), ARM Josip Rodin, Bob Hilliard, Adam Di Carlo, Anne Bezemer, Rob Bradford (current), Frans Pop (current) Add to Reading List Source URL: www.debian.org Language: English - Date: 2007-04-04 05:30:50 Debian Ubuntu Cross-platform software Deb Advanced Packaging Tool Aptitude Debian GNU/Hurd GNU variants Software System software Dpkg
29	Release Notes for Debian GNU/Linux 3.0 (‘woody’), ARM Josip Rodin, Bob Hilliard, Adam Di Carlo, Anne Bezemer, Rob Bradford (current) $Id: release-notes.en.sgml,v 1.1 2003/01/04 00:37:57 Add to Reading List Source URL: www.debian.org Language: English - Date: 2005-06-07 14:16:44 Debian Dpkg Ubuntu Cross-platform software Linux Advanced Packaging Tool Unstable Aptitude Deb Software Computer architecture System software
30	Release Notes for Debian GNU/Linux 4.0 (“etch”), AMD64 Josip Rodin, Bob Hilliard, Adam Di Carlo, Anne Bezemer, Rob Bradford, Frans Pop (current), Andreas Barth (current), Javier Fernández-Sanguino Peña (current), S Add to Reading List Source URL: www.debian.org Language: English - Date: 2010-01-04 18:49:00 Ubuntu Linux Cross-platform software Advanced Packaging Tool Deb Mozilla Corporation software rebranded by the Debian project Aptitude Package management system GNU Software Debian Dpkg